Optimal. Leaf size=218 \[ -\frac {\log \left (5 (2 x+1)-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\log \left (5 (2 x+1)+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}-\sqrt {\frac {2}{217} \left (2+\sqrt {35}\right )} \tan ^{-1}\left (\frac {\sqrt {10 \left (2+\sqrt {35}\right )}-10 \sqrt {2 x+1}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right )+\sqrt {\frac {2}{217} \left (2+\sqrt {35}\right )} \tan ^{-1}\left (\frac {10 \sqrt {2 x+1}+\sqrt {10 \left (2+\sqrt {35}\right )}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.27, antiderivative size = 218, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 6, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {707, 1094, 634, 618, 204, 628} \begin {gather*} -\frac {\log \left (5 (2 x+1)-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\log \left (5 (2 x+1)+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {2 x+1}+\sqrt {35}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}-\sqrt {\frac {2}{217} \left (2+\sqrt {35}\right )} \tan ^{-1}\left (\frac {\sqrt {10 \left (2+\sqrt {35}\right )}-10 \sqrt {2 x+1}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right )+\sqrt {\frac {2}{217} \left (2+\sqrt {35}\right )} \tan ^{-1}\left (\frac {10 \sqrt {2 x+1}+\sqrt {10 \left (2+\sqrt {35}\right )}}{\sqrt {10 \left (\sqrt {35}-2\right )}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 618
Rule 628
Rule 634
Rule 707
Rule 1094
Rubi steps
\begin {align*} \int \frac {1}{\sqrt {1+2 x} \left (2+3 x+5 x^2\right )} \, dx &=4 \operatorname {Subst}\left (\int \frac {1}{7-4 x^2+5 x^4} \, dx,x,\sqrt {1+2 x}\right )\\ &=\sqrt {\frac {2}{7 \left (2+\sqrt {35}\right )}} \operatorname {Subst}\left (\int \frac {\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}-x}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )+\sqrt {\frac {2}{7 \left (2+\sqrt {35}\right )}} \operatorname {Subst}\left (\int \frac {\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+x}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )\\ &=\frac {\operatorname {Subst}\left (\int \frac {1}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{\sqrt {35}}+\frac {\operatorname {Subst}\left (\int \frac {1}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{\sqrt {35}}-\frac {\operatorname {Subst}\left (\int \frac {-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 x}{\sqrt {\frac {7}{5}}-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\operatorname {Subst}\left (\int \frac {\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 x}{\sqrt {\frac {7}{5}}+\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )} x+x^2} \, dx,x,\sqrt {1+2 x}\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}\\ &=-\frac {\log \left (\sqrt {35}-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\log \left (\sqrt {35}+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}-\frac {2 \operatorname {Subst}\left (\int \frac {1}{\frac {2}{5} \left (2-\sqrt {35}\right )-x^2} \, dx,x,-\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )}{\sqrt {35}}-\frac {2 \operatorname {Subst}\left (\int \frac {1}{\frac {2}{5} \left (2-\sqrt {35}\right )-x^2} \, dx,x,\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )}{\sqrt {35}}\\ &=-\sqrt {\frac {2}{7 \left (-2+\sqrt {35}\right )}} \tan ^{-1}\left (\sqrt {\frac {5}{2 \left (-2+\sqrt {35}\right )}} \left (\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}-2 \sqrt {1+2 x}\right )\right )+\sqrt {\frac {2}{7 \left (-2+\sqrt {35}\right )}} \tan ^{-1}\left (\sqrt {\frac {5}{2 \left (-2+\sqrt {35}\right )}} \left (\sqrt {\frac {2}{5} \left (2+\sqrt {35}\right )}+2 \sqrt {1+2 x}\right )\right )-\frac {\log \left (\sqrt {35}-\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}+\frac {\log \left (\sqrt {35}+\sqrt {10 \left (2+\sqrt {35}\right )} \sqrt {1+2 x}+5 (1+2 x)\right )}{\sqrt {14 \left (2+\sqrt {35}\right )}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.24, size = 112, normalized size = 0.51 \begin {gather*} \frac {2 \left (\sqrt {2-i \sqrt {31}} \left (\sqrt {31}-2 i\right ) \tanh ^{-1}\left (\frac {\sqrt {10 x+5}}{\sqrt {2-i \sqrt {31}}}\right )+\sqrt {2+i \sqrt {31}} \left (\sqrt {31}+2 i\right ) \tanh ^{-1}\left (\frac {\sqrt {10 x+5}}{\sqrt {2+i \sqrt {31}}}\right )\right )}{7 \sqrt {155}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [C] time = 0.29, size = 103, normalized size = 0.47 \begin {gather*} 2 \sqrt {\frac {1}{217} \left (2+i \sqrt {31}\right )} \tan ^{-1}\left (\sqrt {-\frac {2}{7}-\frac {i \sqrt {31}}{7}} \sqrt {2 x+1}\right )+2 \sqrt {\frac {1}{217} \left (2-i \sqrt {31}\right )} \tan ^{-1}\left (\sqrt {-\frac {2}{7}+\frac {i \sqrt {31}}{7}} \sqrt {2 x+1}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.44, size = 365, normalized size = 1.67 \begin {gather*} -\frac {1}{470890} \, \sqrt {217} 35^{\frac {1}{4}} {\left (2 \, \sqrt {35} \sqrt {31} - 35 \, \sqrt {31}\right )} \sqrt {4 \, \sqrt {35} + 70} \log \left (4340 \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {31} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} + 9417800 \, x + 941780 \, \sqrt {35} + 4708900\right ) + \frac {1}{470890} \, \sqrt {217} 35^{\frac {1}{4}} {\left (2 \, \sqrt {35} \sqrt {31} - 35 \, \sqrt {31}\right )} \sqrt {4 \, \sqrt {35} + 70} \log \left (-4340 \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {31} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} + 9417800 \, x + 941780 \, \sqrt {35} + 4708900\right ) - \frac {2}{7595} \, \sqrt {217} 35^{\frac {3}{4}} \sqrt {4 \, \sqrt {35} + 70} \arctan \left (\frac {1}{235445} \, \sqrt {1085} \sqrt {217} 35^{\frac {1}{4}} \sqrt {\sqrt {217} 35^{\frac {1}{4}} \sqrt {31} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} + 2170 \, x + 217 \, \sqrt {35} + 1085} \sqrt {4 \, \sqrt {35} + 70} - \frac {1}{217} \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} - \frac {1}{31} \, \sqrt {35} \sqrt {31} - \frac {2}{31} \, \sqrt {31}\right ) - \frac {2}{7595} \, \sqrt {217} 35^{\frac {3}{4}} \sqrt {4 \, \sqrt {35} + 70} \arctan \left (\frac {1}{470890} \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {-4340 \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {31} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} + 9417800 \, x + 941780 \, \sqrt {35} + 4708900} \sqrt {4 \, \sqrt {35} + 70} - \frac {1}{217} \, \sqrt {217} 35^{\frac {1}{4}} \sqrt {2 \, x + 1} \sqrt {4 \, \sqrt {35} + 70} + \frac {1}{31} \, \sqrt {35} \sqrt {31} + \frac {2}{31} \, \sqrt {31}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.63, size = 279, normalized size = 1.28 \begin {gather*} \frac {1}{7595} \, \sqrt {31} {\left (\sqrt {31} \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {-140 \, \sqrt {35} + 2450} + 2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {140 \, \sqrt {35} + 2450}\right )} \arctan \left (\frac {5 \, \left (\frac {7}{5}\right )^{\frac {3}{4}} {\left (\left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {\frac {1}{35} \, \sqrt {35} + \frac {1}{2}} + \sqrt {2 \, x + 1}\right )}}{7 \, \sqrt {-\frac {1}{35} \, \sqrt {35} + \frac {1}{2}}}\right ) + \frac {1}{7595} \, \sqrt {31} {\left (\sqrt {31} \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {-140 \, \sqrt {35} + 2450} + 2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {140 \, \sqrt {35} + 2450}\right )} \arctan \left (-\frac {5 \, \left (\frac {7}{5}\right )^{\frac {3}{4}} {\left (\left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {\frac {1}{35} \, \sqrt {35} + \frac {1}{2}} - \sqrt {2 \, x + 1}\right )}}{7 \, \sqrt {-\frac {1}{35} \, \sqrt {35} + \frac {1}{2}}}\right ) + \frac {1}{15190} \, \sqrt {31} {\left (\sqrt {31} \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {140 \, \sqrt {35} + 2450} - 2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {-140 \, \sqrt {35} + 2450}\right )} \log \left (2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {2 \, x + 1} \sqrt {\frac {1}{35} \, \sqrt {35} + \frac {1}{2}} + 2 \, x + \sqrt {\frac {7}{5}} + 1\right ) - \frac {1}{15190} \, \sqrt {31} {\left (\sqrt {31} \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {140 \, \sqrt {35} + 2450} - 2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {-140 \, \sqrt {35} + 2450}\right )} \log \left (-2 \, \left (\frac {7}{5}\right )^{\frac {1}{4}} \sqrt {2 \, x + 1} \sqrt {\frac {1}{35} \, \sqrt {35} + \frac {1}{2}} + 2 \, x + \sqrt {\frac {7}{5}} + 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.34, size = 607, normalized size = 2.78 \begin {gather*} -\frac {5 \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{31 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {2 \sqrt {5}\, \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \sqrt {7}\, \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{217 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {4 \sqrt {5}\, \sqrt {7}\, \arctan \left (\frac {-\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{7 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}-\frac {5 \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{31 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {2 \sqrt {5}\, \left (2 \sqrt {5}\, \sqrt {7}+4\right ) \sqrt {7}\, \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{217 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}+\frac {4 \sqrt {5}\, \sqrt {7}\, \arctan \left (\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}+10 \sqrt {2 x +1}}{\sqrt {10 \sqrt {5}\, \sqrt {7}-20}}\right )}{7 \sqrt {10 \sqrt {5}\, \sqrt {7}-20}}-\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}-\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{62}+\frac {\sqrt {7}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}-\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{217}+\frac {\sqrt {5}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}+\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{62}-\frac {\sqrt {7}\, \sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \ln \left (10 x +\sqrt {5}\, \sqrt {7}+\sqrt {2 \sqrt {5}\, \sqrt {7}+4}\, \sqrt {5}\, \sqrt {2 x +1}+5\right )}{217} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{{\left (5 \, x^{2} + 3 \, x + 2\right )} \sqrt {2 \, x + 1}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.02, size = 167, normalized size = 0.77 \begin {gather*} \frac {\sqrt {217}\,\mathrm {atan}\left (\frac {256\,\sqrt {7}\,\sqrt {-2-\sqrt {31}\,1{}\mathrm {i}}\,\sqrt {2\,x+1}}{6125\,\left (\frac {256}{875}+\frac {\sqrt {31}\,128{}\mathrm {i}}{875}\right )}+\frac {\sqrt {217}\,\sqrt {-2-\sqrt {31}\,1{}\mathrm {i}}\,\sqrt {2\,x+1}\,128{}\mathrm {i}}{6125\,\left (\frac {256}{875}+\frac {\sqrt {31}\,128{}\mathrm {i}}{875}\right )}\right )\,\sqrt {-2-\sqrt {31}\,1{}\mathrm {i}}\,2{}\mathrm {i}}{217}+\frac {\sqrt {217}\,\mathrm {atan}\left (\frac {256\,\sqrt {7}\,\sqrt {-2+\sqrt {31}\,1{}\mathrm {i}}\,\sqrt {2\,x+1}}{6125\,\left (-\frac {256}{875}+\frac {\sqrt {31}\,128{}\mathrm {i}}{875}\right )}-\frac {\sqrt {217}\,\sqrt {-2+\sqrt {31}\,1{}\mathrm {i}}\,\sqrt {2\,x+1}\,128{}\mathrm {i}}{6125\,\left (-\frac {256}{875}+\frac {\sqrt {31}\,128{}\mathrm {i}}{875}\right )}\right )\,\sqrt {-2+\sqrt {31}\,1{}\mathrm {i}}\,2{}\mathrm {i}}{217} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt {2 x + 1} \left (5 x^{2} + 3 x + 2\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________